7

Book Review: Henk Barendregt, Will Dekkers, Richard Statman et al., Lambda Calculus With Types

Year:
2015
Language:
english
File:
PDF, 425 KB
english, 2015
16

Observation of Immobilized Water Molecules around Hydrophobic Groups

Year:
2007
Language:
english
File:
PDF, 182 KB
english, 2007
20

Orientational dynamics of hydrogen-bonded phenol

Year:
2004
Language:
english
File:
PDF, 394 KB
english, 2004
32

Orientational dynamics of isotopically diluted H[sub 2]O and D[sub 2]O

Year:
2006
Language:
english
File:
PDF, 166 KB
english, 2006
42

Effect of urea on the structural dynamics of water

Year:
2006
Language:
english
File:
PDF, 244 KB
english, 2006
44

On the orientational relaxation of HDO in liquid water

Year:
2005
Language:
english
File:
PDF, 439 KB
english, 2005
46

Semantics for classical AUTOMATH and related systems

Year:
1983
Language:
english
File:
PDF, 713 KB
english, 1983